ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems
نویسندگان
چکیده
In this paper, we present a framework, called Embedded-System Safety Aspects Visualization (ESSAVis), that is a system prototype designed to analyze the safety aspects of embedded systems. The ESSAVis prototype provides a 3D environment that aids in detecting infected components in the hardware of the target embedded system. The prototype also provides an abstract representation for the failure mechanisms of the target embedded system, including the software structure and failure path information for the underlying safety scenarios at a certain moment in the system’s life. The results indicate clearness of our proposed method over existing techniques and promise acceleration in performance of the failure detection process in embedded systems for critical applications.
منابع مشابه
Improving the Failure Understanding in Embedded Systems through Interactive Visual Support: An Evaluation Story
Effectively analyzing failure mechanisms is critical for ensuring safety and reliability aspects in embedded systems. This requires close collaborations between the system engineers who design the system and the safety experts who analyze the failures. To support this process, we present an interactive visual environment, called ESSAVis++, that helps in extracting the required safety informatio...
متن کاملESSAVis: a 2Dplus3D visual platform for speeding up the maintenance process of embedded systems
Modern embedded systems contain complex structures, as they are composed of many subsystems. Maintaining such systems requires collaboration between the engineers who designed them and the engineers who analyzed the failures in them. In this paper we present our proposed visual platform ESSAVis, a 2Dplus3D environment, to help both kinds of engineers in understanding the failure mechanisms of s...
متن کاملExplaining and Evaluating the Effective Factors in Improving the Quality of Children’s Playgrounds in Cities with an Emphasis on Safety and Security Aspects of Children from Parents’ Viewpoint; Case study: Koodak Park of Isfahan
Abstract Childhood games are essential for the development of cognitive, psychological, and physical skills. Playgrounds are spaces that provide the required opportunity to develop the fundamental skills and needs of children, such as connections with nature, games, activities, and so forth. Therefore, the presence of children in these areas requires the provision of a safe and secure environm...
متن کاملA Requirements Patterns-Driven Approach to Specify Systems and Check Properties
We previously developed a framework, Hydra, for adding formal semantics to a collection of UML diagrams that enable the automated derivation of formal language specifications for those diagrams. Recently, we have also identified a number of requirements patterns for embedded systems that includes sample UML structural and behavioral diagrams for modeling requirements and high-level design for e...
متن کاملFuzzy convergence structures in the framework of L-convex spaces
In this paper, fuzzy convergence theory in the framework of $L$-convex spaces is introduced. Firstly, the concept of $L$-convex remote-neighborhood spaces is introduced and it is shown that the resulting category is isomorphic to that of $L$-convex spaces. Secondly, by means of $L$-convex ideals, the notion of $L$-convergence spaces is introduced and it is proved that the category of $L$-con...
متن کامل